This collection of essays, offered in honor of the distinguished career of prominent political philosophy professor Clifford Orwin, brings together internationally renowned scholars to provide a wide context and discuss various aspects of the virtue of “humanity” through the history of political philosophy.

This collection of essays, offered in honor of the distinguished career of prominent political philosophy professor Clifford Orwin, brings together internationally renowned scholars to provide a wide context and discuss various aspects of the virtue of “humanity” through the history of political philosophy.

The British Museum, based in Montague House, Bloomsbury, opened its doors on 15 January 1759, as the world's first state-owned public museum. The Museum's collection mostly originated from Sir Hans Sloane, whose vast holdings were purchased by Parliament shortly after his death. The largest component of this collection was objects of natural history, including a herbarium made up of 265 bound volumes, many of which were classified according to the late seventeenth-century system of John Ray. The 1750s saw the emergence (...) of Linnaean binomial nomenclature, following the publication of Carl Linnaeus'Species Plantarum andSystema Naturae. In order to adopt this new system for their collections, the Trustees of the British Museum chose to employ the Swedish naturalist and former student of Linnaeus, Daniel Solander to reclassify the collection. Solander was ordered to devise a new system for classifying and cataloguing Sloane's natural history collection, which would allow both Linnaeans and those who followed earlier systems to access it. Solander's work was essential for allowing the British Museum to realize its aim of becoming a public centre of learning, adapting the collection to reflect the diversity of classificatory practices which were existent by the 1760s. This task engaged Solander until 1768, when he received an offer from Joseph Banks to accompany him on HMSEndeavourto the Pacific. (shrink)

This article first examines a number of different definitions of lying, from Aldert Vrij, Warren Shibles, Sissela Bok, the Oxford English Dictionary, Linda Coleman and Paul Kay, and Joseph Kupfer. It considers objections to all of them, and then defends Kupfer’s definition, as well as a modified version of his definition, as the best of those so far considered. Next, it examines five other definitions of lying, from Harry G. Frankfurt, Roderick M. Chisholm and Thomas D. Feehan, David Simpson, (...) Thomas Carson, and Don Fallis. It finds reason to reject these definitions, in favor of the two definitions of lying previously defended, namely:(i) To lie (to another person) = df. to make a believed-false statement (to another person) with the intention that that statement be believed to be true (by the other person).(ii) To lie (to another person) = df. to make a believed-false statement (to another person), either with the intention that that statement be believed to be true (by the other person), or with the intention that it be believed (by the other person) that that statement is believed to be true (by the person making the statement), or with both intentions. (shrink)

The twenty-sixth volume in the highly acclaimed Library of Living Philosophers series is devoted to the work of British philosopher of logic and metaphysician, P. F. Strawson. Following the Library of Living Philosophers series format, the volume contains an intellectual autobiography, twenty critical and descriptive essays by leading philosophers from around the world, Strawson's replies to the essays, and a bibliography of Strawson's works. Born in 1919, Strawson was a leading proponent of ordinary language philosophy. He is the author of (...) the early and extremely influential paper "On Referring" in which he criticized Russell's theory of definite descriptions. His most influential book, Individuals, helped to raise the status of metaphysics as a philosophical enterprise. Themes first addressed in this book continued to be of concern to him in his later work, including the possibility of objective knowledge, the subject-predicate distinction, the ontological status of persons, and the problem of individuation. Contributors to the book include: Ruth Garrett Millikan, Susan Haack, E. M. Adams, Panayot Butchvarov, Richard Behling, John McDowell, Simon Blackburn, Tadeusz Szubka, David Frederick Haight, Joseph S. Wu, Andrew G. Black, David Pears, Robert Boyd, Hilary Putnam, Paul F. Snowdon, Arindam Chakrabarti, Wenceslao J. Gonzalez, Ernest Sosa, Chung-M. Tse, John R. Searle, P. F. Strawson. (shrink)

In this essay I argue that Ridley Scott's first feature film, The Duelists, which is an adaptation of a Joseph Conrad novella, contains his deepest meditation on honor in his entire career. The film may be said to answer the following question about honor: is being bound to do something by honor, when it is contrary to one's self-interest, a good thing, or a bad thing? It may be said to give the answer that it may be either good (...) or bad. It is bad that D'Hubert is bound by honor to duel with Feraud; it is good that, in the end, Feraud is bound by honor to cease dueling with D'Hubert. In this way, Kant was correct that "the inclination to honor" may light "upon that which is in fact in the common interest and in conformity with duty," or it may light upon what is contrary to duty. (shrink)

CHAPTER I INTRODUCTION (A) Historical Problem Suggested by the Nature of Modern Thought How curious, after all, is the way in which we moderns think about ...

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

Cognitive science normally takes the individual agent as its unit of analysis. In many human endeavors, however, the outcomes of interest are not determined entirely by the information processing properties of individuals. Nor can they be inferred from the properties of the individual agents, alone, no matter how detailed the knowledge of the properties of those individuals may be. In commercial aviation, for example, the successful completion of a flight is produced by a system that typically includes two or more (...) pilots interacting with each other and with a suite of technological devices. This article presents a theoretical framework that takes a distributed, socio‐technical system rather than an individual mind as its primary unit of analysis. This framework is explicitly cognitive in that it is concerned with how information is represented and how representations are transformed and propagated in the performance of tasks. An analysis of a memory task in the cockpit of a commercial airliner shows how the cognitive properties of such distributed systems can differ radically from the cognitive properties of the individuals who inhabit them. (shrink)

Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.

This paper sets out a philosophical interpretation of the model theory of Mares and Goldblatt (The Journal of Symbolic Logic 71, 2006). This interpretation distinguishes between truth conditions and information conditions. Whereas the usual Tarskian truth condition holds for universally quantified statements, their information condition is quite different. The information condition utilizes general propositions . The present paper gives a philosophical explanation of general propositions and argues that these are needed to give an adequate theory of general information.

In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.

This paper presents a theory of belief revision that allows people to come tobelieve in contradictions. The AGM theory of belief revision takes revision,in part, to be consistency maintenance. The present theory replacesconsistency with a weaker property called coherence. In addition to herbelief set, we take a set of statements that she rejects. These two sets arecoherent if they do not overlap. On this theory, belief revision maintains coherence.

To the medieval thinker, man was the center of creation and all of nature existed purely for his benefit. The shift from the philosophy of the Middle Ages to the modern view of humanity's less central place in the universe ranks as the greatest revolution in the history of Western thought, and this classic in the philosophy of science describes and analyzes how the profound change occurred. A fascinating analysis of the works of Copernicus, Kepler, Galileo, Descartes, Hobbes, Gilbert, Boyle, (...) and Newton, it not only establishes the reasons for the triumph of the modern perspective but also accounts for certain limitations that characterize contemporary scientific thought. (shrink)

Summary Popular science journalism flourished in the 1860s in England, with many new journals being projected. The time was ripe, Victorian men of science believed, for an ?organ of science? to provide a means of communication between specialties, and between men of science and the public. New formats were tried as new purposes emerged. Popular science journalism became less recreational and educational. Editorial commentary and reviewing the progress of science became more important. The analysis here emphasizes those aspects of popular (...) science which have been identified by Frank Turner as ?public science? and by Thomas Gieryn as ?boundary-work?. The religious, intellectual, and utilitarian values claimed for science by editors and contributors in their tasks of persuading the public to support science and of distinguishing science from what they often called ?applied science? are discussed. These values are shown to vary among editors and, for the editors examined here, Shirley Hibberd, Henry Slack, James Samuelson, William Crookes, and Henry Lawson, to differ significantly from those of T. H. Huxley, John Tyndall, and Norman Lockyer, on whom much study of the popularization of science in the 1860s has focused. (shrink)

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper I question this claim. I show that there is a kind of maximality (namely absoluteness) on which large cardinal axioms come out as restrictive relative to a formal notion of restrictiveness. Within this framework, I argue that large cardinal axioms can still play many of (...) their usual foundational roles. (shrink)

One of the most lasting contributions of Marr's posthumous book is his articulation of the different “levels of analysis” that are needed to understand vision. Although a variety of work has examined how these different levels are related, there is comparatively little examination of the assumptions on which his proposed levels rest, or the plausibility of the approach Marr articulated given those assumptions. Marr placed particular significance on computational level theory, which specifies the “goal” of a computation, its appropriateness for (...) solving a particular problem, and the logic by which it can be carried out. The structure of computational level theory is inherently teleological: What the brain does is described in terms of its purpose. I argue that computational level theory, and the reverse-engineering approach it inspires, requires understanding the historical trajectory that gave rise to functional capacities that can be meaningfully attributed with some sense of purpose or goal, that is, a reconstruction of the fitness function on which natural selection acted in shaping our visual abilities. I argue that this reconstruction is required to distinguish abilities shaped by natural selection—“natural tasks” —from evolutionary “by-products”, rather than merely demonstrating that computational goals can be embedded in a Bayesian model that renders a particular behavior or process rational. (shrink)

This paper extends the theory of situated inference from Mares to treat two weak relevant logics, B and DJ. These logics are interesting because they can be used as bases for consistent naïve theories, such as naïve set theory. The concepts of a situation and of information that are employed by the theory of situated inference are used to justify various aspects of these logics and to give an interpretation of the notion of set that is represented in the naïve (...) set theories that are based on them. (shrink)

The purpose of this paper is to show that semantics for relevance logic, based on the Routley-Meyer semantics, can be given without using the Routley star operator to treat negation. In the resulting semantics, negation is treated implicationally. It is shown that, by the use of restrictions on the ternary accessibility relation, simplified by the use of some definitions, a semantics can be stipulated over which R is complete.

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

This book considers ethical thinking in ancient Israel in the period from the 8th to the 2nd century BC.

This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

The logic CE (for "Classical E") results from adding Boolean negation to Anderson and Belnap's logic E. This paper shows that CE is not a conservative extension of E.

This essay explores the contemporary experiences of women who live with pain, given the complex responses they encounter within Western medical systems, including pervasive stigma, bias, clinician disbelief, and poor health outcomes. In response to these realities, as highlighted within recent literature and exemplified in a first-person account provided by the paper’s author, this essay explores the Christian practice of the Stations of the Cross as a faithful response to women living with pain. The Stations provide a distinctive Christian practice (...) that invites women living with pain, as well as their clinicians and loved ones, into faithful care marked by prayer, solidarity, and hospitable listening. Practicing the Stations provides one faithful response that Christian clinicians and those who live with pain might engage in the clinic and beyond. (shrink)

This paper sets out two semantics for the relevant logic R based on Dunn's four-valued semantics for first-degree entailments. Unlike Routley's semantics for weak relevant logics, they do not use two ternary accessibility relations. Unlike Restall's semantics, they capture all of R. But there is a catch. Both of the present semantics are neighbourhood semantics, that is, they include sets of propositions in the specification of their frames.

Over one in five adults in the United States and around the world are estimated to live with chronic pain. How are we to attend well to persons living with pain? This is a difficult, pressing question for both healthcare institutions and Christian communities, and it is only made more complex both by the contemporary opioid crisis and by how experiences of pain and addiction are shaped in the American context by race, gender, and class. Attending faithfully to persons in (...) pain demands thoughtful, creative resources on both practical and conceptual levels. In this special issue of Christian Bioethics, eight scholars from different disciplines—Sarah Barton, Farr Curlin, Jaime Konerman-Sease, Brett McCarty, Joel Shuman, Devan Stahl, John Swinton, and Emmy Yang—engage the meaning of attending to persons in pain for Christian bioethics and for faithful Christian practice. (shrink)

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

The feminist sex wars have been characterized by debates between radical feminists and sex radical feminists about women's experiences of empowerment versus oppression in the sex industry. Based on a qualitative study of the experiences of exotic dancers, this article introduces a new theoretical paradigm to the feminist sex wars that values the contributions of both sex radicals and radical feminists. It articulates a twofold temporal dimension of sex workers' experiences: how women's feelings of pleasure and empowerment gradually decline over (...) time and how good and bad experiences rapidly transform into their opposites over the course of a single evening, making the strip bar a volatile and unsettling space for performers. (shrink)

Much of the discussion of set-theoretic independence, and whether or not we could legitimately expand our foundational theory, concerns how we could possibly come to know the truth value of independent sentences. This paper pursues a slightly different tack, examining how we are ignorant of issues surrounding their truth. We argue that a study of how we are ignorant reveals a need for an understanding of set-theoretic explanation and motivates a pluralism concerning the adoption of foundational theory.

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)